proof of program correctness
un. 程序正确性证明
[网络] 程式正确性证明
热门查询
- truism n. 自明之理；老生常谈；老套；众所周知；真实性
- paintwork n. 涂上的油漆；油漆的表面；油漆工作
- judgement n. 意见；判断力；[法] 审判；评价
- Vlsi [电] 超大型积分电路
- sow n. 母猪 vt. 播种；散布；使密布 vi. 播种 n. (Sow)人名；(几、马里、乍、毛里塔、塞内)索乌
- thunderhead n. 雷雨云砧（等于anvil cloud incus）
- webbing n. 带子，边带；结实的带状织物；厚边；熔塌
- nucleate adj. 有核的 vt. 使成核 vi. 成核
- series n. 系列，连续；[电] 串联；级数；丛书
- airbag n. 安全气袋（一种在汽车受冲撞时自动充气以免乘客撞伤的安全装置）
- Stephane n. 史蒂芬（男子名）
- jihadi n. 圣战分子
- walloon n. 瓦龙人[语] a. 瓦龙人[语]的
- poaching n. 非法狩猎；物色人才；漂洗；低温煮 v. 把…踏成泥浆；非法猎取；漂洗；窃取（poach的ing形式）
- Dumfriesshire 邓弗里斯郡[英国苏格兰原郡名]
- approvingly adv. 赞许地；满意地
- mifepristone n. 米非司酮；美服培酮
- Massey n. 梅西；马西（女子名）
- recourse n. 求援，求助；[经] 追索权；依赖；救生索
- Poseidon n. 波塞冬（希腊神话中的海神）
考试词汇表
- yield hiself prisoner
- yield itself prisoner
- yield myself prisoner
- yield of ground water
- yield of real capital
- yield point behaviour
- yield the palm to sb.
- yield to average life
- yield to weight ratio
- yield up one's breath
- yield value of stress
- yielding of structure
- yielding roadway arch
- yig materials/devices
- yin and yang equation
- yin-yang debilitation
- yinchen wuling powder
- ying,wei,qi and blood
- yoke auxiliary spring
- yoke with one another
